翻訳と辞書 Words near each other ・ domain calculus ・ domain engineering ・ domain maturity ・ domain model ・ domain name ・ domain name server ・ domain name system ・ domain selection ・ domain software engineering environment ・ domain squatter ・ domain theory ・ domain-specific language ・ domainist ・ domf ・ don't do that then! ・ donald knuth ・ dongle ・ dongle cracker ・ dongle-disk ・ donuts Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク domain theory ： FOLDOC domain theory A branch of mathematics introduced by Dana Scott in 1970 as a mathematical theory of programming languages, and for nearly a quarter of a century developed almost exclusively in connection with denotational semantics in computer science. In denotational semantics of programming languages, the meaning of a program is taken to be an element of a domain. A domain is a mathematical structure consisting of a set of values (or "points") and an ordering relation, <= on those values. Domain theory is the study of such structures. ("<=" is written in LaTeX as subseteq) Different domains correspond to the different types of object with which a program deals. In a language containing functions, we might have a domain X -> Y which is the set of functions from domain X to domain Y with the ordering f <= g iff for all x in X, f x <= g x. In the pure lambda-calculus all objects are functions or applications of functions to other functions. To represent the applications of functions to other functions. To represent the スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.